Model Analysis of Equivalence Classes in UML Events Relations
نویسنده
چکیده
Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.
منابع مشابه
FUZZY SUBGROUPS AND CERTAIN EQUIVALENCE RELATIONS
In this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group G and give four equivalent conditions each ofwhich characterizes this relation. We demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. Moreover, we study the behavior of these equivalence classes under theaction of a...
متن کاملGood strongly regular relations on weak $Gamma$-(semi)hypergroups
In this paper first we introduce the notion of weak $Gamma$-(semi)hypergroups, next some classes of equivalence relations which are called good regular and strongly good regular relations are defined. Then we investigate some properties of this kind of relations on weak $Gamma$-(semi)hypergroups.
متن کاملThe graph of equivalence classes and Isoclinism of groups
Let $G$ be a non-abelian group and let $Gamma(G)$ be the non-commuting graph of $G$. In this paper we define an equivalence relation $sim$ on the set of $V(Gamma(G))=Gsetminus Z(G)$ by taking $xsim y$ if and only if $N(x)=N(y)$, where $ N(x)={uin G | x textrm{ and } u textrm{ are adjacent in }Gamma(G)}$ is the open neighborhood of $x$ in $Gamma(G)$. We introduce a new graph determined ...
متن کاملA Strong Regular Relation on ?-Semihyperrings
The concept of algebraic hyperstructures introduced by Marty as a generalization of ordinary algebraic structures. In an ordinary algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. The concept of ?-semihyperrings is a generalization of semirings, a generalization of semihyperrings and a generalizat...
متن کاملEquivalence classification by California sea lions using class-specific reinforcers.
The ability to group dissimilar stimuli into categories on the basis of common stimulus relations (stimulus equivalence) or common functional relations (functional equivalence) has been convincingly demonstrated in verbally competent subjects. However, there are investigations with verbally limited humans and with nonhuman animals that suggest that the formation and use of classification scheme...
متن کامل